#include <th/drivers/wdt.h>
#include <arch/io.h>
#include <arch/cpu/soc/s3c2440.h>

void wdt_disable(void)
{
	struct s3c2440_wdt *wdt = s3c2440_get_base_wdt();	

	writel(0, &wdt->wtcon);
}
